es{-}initially(${\it es}$;$i$;$x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es\_init(${\it es}$)($i$).$x$